Indexical translation of tail-recursive functions

نویسندگان

  • Jean-Raymond Gagné
  • Joey Paquet
چکیده

We show that a very general form of Lucid (and RLucid) tail-recursive function can be transformed into an indexical equivalent. We show also that the standard indexical translations of the wvr and upon functions can be considered to be particular cases of the general situation. We give full proofs of the results, taking advantage of the clean semantics of Lucid.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The Intersemiotic Study of Translation from Page to Stage: The Farsi Translation of Macbeth for Stage Adaptation from the Perspective of Peirceʼs Model

Intersemiotic translation, which can happen in the process of the translation of drama for theatre, can turn more complicated when the verbal sign system of drama has already undergone interlingual translation. The purpose of this study is to find the intersemiotic changes of translation from page to stage and to show the changes of indexical, iconic, and symbolic signs in the process of inters...

متن کامل

Conversion to tail recursion in term rewriting

Tail recursive functions are a special kind of recursive functions where the last action in their body is the recursive call. Tail recursion is important for a number of reasons (e.g., they are usually more efficient). In this article, we introduce an automatic transformation of first-order functions into tail recursive form. Functions are defined using a (first-order) term rewrite system. We p...

متن کامل

The SL synchronous language, revisited

We revisit the SL synchronous programming model introduced by Boussinot andDe Simone (IEEE, Trans. on Soft. Eng., 1996). We discuss an alternative designof the model including thread spawning and recursive definitions and we exploresome basic properties of the revised model: determinism, reactivity, CPS translationto a tail recursive form, computational expressivity, and a compo...

متن کامل

Sociophonetic Markers Facilitate Translation Priming: Maori English GOAT â•fi A Different Kind of Animal

This study investigates whether socio-indexical labelling operates under a shared or a separate system across the two languages of a bilingual talker-listener. We argue for a shared system, showing that L1 indexical labels interact with L2 indexical labels during speech perception. In particular, we investigate the effect of ethnic dialect on bilingual speech processing by using a novel cross-l...

متن کامل

A New One-Pass Transformation into Monadic Normal Form

We present a translation from the call-by-value λ-calculus to monadic normal forms that includes short-cut boolean evaluation. The translation is higher-order, operates in one pass, duplicates no code, generates no chains of thunks, and is properly tail recursive. It makes a crucial use of symbolic computation at translation time.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2012